$\forall$$x$:Top, $a$:Atom1. $\neg$$x$:Top$>>$$a$